110,576 research outputs found

    Vanishing results for the cohomology of complex toric hyperplane complements

    Get PDF
    Suppose \Cal R is the complement of an essential arrangement of toric hyperlanes in the complex torus (\C^*)^n and \pi=\pi_1(\Cal R). We show that H^*(\Cal R;A) vanishes except in the top degree nn when AA is one of the following systems of local coefficients: (a) a system of nonresonant coefficients in a complex line bundle, (b) the von Neumann algebra \cn\pi, or (c) the group ring \zz \pi. In case (a) the dimension of HnH^n is |e(\Cal R)| where e(\Cal R) denotes the Euler characteristic, and in case (b) the nthn^{\mathrm{th}} \eltwo Betti number is also |e(\Cal R)|.Comment: 14 pages. arXiv admin note: substantial text overlap with arXiv:math/061240

    Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption

    Full text link
    Backdoors and backbones of Boolean formulas are hidden structural properties. A natural goal, already in part realized, is that solver algorithms seek to obtain substantially better performance by exploiting these structures. However, the present paper is not intended to improve the performance of SAT solvers, but rather is a cautionary paper. In particular, the theme of this paper is that there is a potential chasm between the existence of such structures in the Boolean formula and being able to effectively exploit them. This does not mean that these structures are not useful to solvers. It does mean that one must be very careful not to assume that it is computationally easy to go from the existence of a structure to being able to get one's hands on it and/or being able to exploit the structure. For example, in this paper we show that, under the assumption that P ≠\neq NP, there are easily recognizable families of Boolean formulas with strong backdoors that are easy to find, yet for which it is hard (in fact, NP-complete) to determine whether the formulas are satisfiable. We also show that, also under the assumption P ≠\neq NP, there are easily recognizable sets of Boolean formulas for which it is hard (in fact, NP-complete) to determine whether they have a large backbone

    Cosmic Strings, Zero Modes and SUSY breaking in Nonabelian N=1 Gauge Theories

    Get PDF
    We investigate the microphysics of cosmic strings in Nonabelian gauge theories with N=1 supersymmetry. We give the vortex solutions in a specific example and demonstrate that fermionic superconductivity arises because of the couplings and interactions dictated by supersymmetry. We then use supersymmetry transformations to obtain the relevant fermionic zero modes and investigate the role of soft supersymmetry breaking on the existence and properties of the superconducting strings.Comment: 12 pages, RevTex, submitted to Phys. Rev.

    Fuel economy and exhaust emissions characteristics of diesel vehicles: Test results of a prototype Fiat 131 NA 2.4 liter automobile

    Get PDF
    The vehicle was tested on a chassis dynamometer over selected drive cycles and steady-state conditions. Two fuels were used, a U.S. no. 2 diesel and a European diesel fuel. The vehicle was tested with retarded timing and with and without an oxidation catalyst. Particulate emission rates were calculated from dilution tunnel measurements and large volume particulate samples were collected for biological and chemical analysis. It was determined that while the catalyst was generally effective in reducing hydrocarbon and carbon monoxide levels, it was also a factor in increasing particulate emissions. Increased particulate emission rates were particularly evident when the vehicle was operated on the European fuel which has a high sulfur content

    Evaluation of a segment-based LANDSAT full-frame approach to corp area estimation

    Get PDF
    As the registration of LANDSAT full frames enters the realm of current technology, sampling methods should be examined which utilize other than the segment data used for LACIE. The effect of separating the functions of sampling for training and sampling for area estimation. The frame selected for analysis was acquired over north central Iowa on August 9, 1978. A stratification of he full-frame was defined. Training data came from segments within the frame. Two classification and estimation procedures were compared: statistics developed on one segment were used to classify that segment, and pooled statistics from the segments were used to classify a systematic sample of pixels. Comparisons to USDA/ESCS estimates illustrate that the full-frame sampling approach can provide accurate and precise area estimates

    Thermocapillary flows and their stability: Effects of surface layers and combination

    Get PDF
    The theoretical analysis of the fluid mechanics and heat transfer of motions driven by surface tension gradients (Marangoni convection) was researched. Convection accompanying the process of growing high quality single crystals from the melt in a micro-g environment was examined. The geometries considered include two dimensional liquid filled slots and axisymmetric float-zone configurations

    Improved space radiation shielding methods

    Get PDF
    The computing software that was used to perform the charged particle radiation transport analysis and shielding design for the Mariner Jupiter/Saturn 1977 spacecraft is described. Electron fluences, energy spectra and dose rates obtained with this software are presented and compared with independent computer calculations

    Thermocapillary flows and their stability: Effects of surface layers and contamination

    Get PDF
    The fluid mechanics and heat transfer of motions driven by surface tension gradients (Marangoni convection) were analyzed theoretically to obtain an understanding of the convection accompanying the process of growing high quality single crystals from the melt in a mu-g environment. The geometries considered include two dimensional liquid filled slots and axisymmetric float zone configurations

    An evolutionary model with Turing machines

    Full text link
    The development of a large non-coding fraction in eukaryotic DNA and the phenomenon of the code-bloat in the field of evolutionary computations show a striking similarity. This seems to suggest that (in the presence of mechanisms of code growth) the evolution of a complex code can't be attained without maintaining a large inactive fraction. To test this hypothesis we performed computer simulations of an evolutionary toy model for Turing machines, studying the relations among fitness and coding/non-coding ratio while varying mutation and code growth rates. The results suggest that, in our model, having a large reservoir of non-coding states constitutes a great (long term) evolutionary advantage.Comment: 16 pages, 7 figure
    • …
    corecore